greatest common divisor is unique